The Poisson Boundary of Lamplighter Random Walks on Trees

Let Tq be the homogeneous tree with degree q + 1 ≥ 3 and G a finitely generated group whose Cayley graph is Tq. The associated lamplighter group is the wreath product Zr ≀ G, where Zr is the cyclic group of order r. For a large class of random walks on this group, we prove almost sure convergence to a natural geometric boundary. If the probability law governing the random walk has finite first moment, then the probability space formed by this geometric boundary together with the limit distribution of the random walk is proved to be maximal, that is, the Poisson boundary. We also prove that the Dirichlet problem at infinity is solvable for continuous functions on the active part of the boundary, if the lamplighter “operates at bounded range”.